Optimal. Leaf size=211 \[ \frac{b \left (1152 a^2+3912 a b+2279 b^2\right ) \sinh (c+d x) \cosh ^3(c+d x)}{1536 d}-\frac{b \left (1920 a^2+2232 a b+793 b^2\right ) \sinh (c+d x) \cosh (c+d x)}{1024 d}+\frac{x \left (1152 a^2 b+1024 a^3+840 a b^2+231 b^3\right )}{1024}+\frac{3 b^2 (40 a+139 b) \sinh (c+d x) \cosh ^7(c+d x)}{320 d}-\frac{b^2 (3000 a+3481 b) \sinh (c+d x) \cosh ^5(c+d x)}{1920 d}+\frac{b^3 \sinh (c+d x) \cosh ^{11}(c+d x)}{12 d}-\frac{61 b^3 \sinh (c+d x) \cosh ^9(c+d x)}{120 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.386844, antiderivative size = 211, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 5, integrand size = 14, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.357, Rules used = {3209, 1157, 1814, 385, 206} \[ \frac{b \left (1152 a^2+3912 a b+2279 b^2\right ) \sinh (c+d x) \cosh ^3(c+d x)}{1536 d}-\frac{b \left (1920 a^2+2232 a b+793 b^2\right ) \sinh (c+d x) \cosh (c+d x)}{1024 d}+\frac{x \left (1152 a^2 b+1024 a^3+840 a b^2+231 b^3\right )}{1024}+\frac{3 b^2 (40 a+139 b) \sinh (c+d x) \cosh ^7(c+d x)}{320 d}-\frac{b^2 (3000 a+3481 b) \sinh (c+d x) \cosh ^5(c+d x)}{1920 d}+\frac{b^3 \sinh (c+d x) \cosh ^{11}(c+d x)}{12 d}-\frac{61 b^3 \sinh (c+d x) \cosh ^9(c+d x)}{120 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3209
Rule 1157
Rule 1814
Rule 385
Rule 206
Rubi steps
\begin{align*} \int \left (a+b \sinh ^4(c+d x)\right )^3 \, dx &=\frac{\operatorname{Subst}\left (\int \frac{\left (a-2 a x^2+(a+b) x^4\right )^3}{\left (1-x^2\right )^7} \, dx,x,\tanh (c+d x)\right )}{d}\\ &=\frac{b^3 \cosh ^{11}(c+d x) \sinh (c+d x)}{12 d}-\frac{\operatorname{Subst}\left (\int \frac{-12 a^3+b^3+12 \left (5 a^3+b^3\right ) x^2-12 \left (10 a^3+3 a^2 b-b^3\right ) x^4+12 \left (10 a^3+9 a^2 b+b^3\right ) x^6-12 (5 a-b) (a+b)^2 x^8+12 (a+b)^3 x^{10}}{\left (1-x^2\right )^6} \, dx,x,\tanh (c+d x)\right )}{12 d}\\ &=-\frac{61 b^3 \cosh ^9(c+d x) \sinh (c+d x)}{120 d}+\frac{b^3 \cosh ^{11}(c+d x) \sinh (c+d x)}{12 d}+\frac{\operatorname{Subst}\left (\int \frac{3 \left (40 a^3+17 b^3\right )-480 \left (a^3-b^3\right ) x^2+360 \left (2 a^3+a^2 b+b^3\right ) x^4-240 (2 a-b) (a+b)^2 x^6+120 (a+b)^3 x^8}{\left (1-x^2\right )^5} \, dx,x,\tanh (c+d x)\right )}{120 d}\\ &=\frac{3 b^2 (40 a+139 b) \cosh ^7(c+d x) \sinh (c+d x)}{320 d}-\frac{61 b^3 \cosh ^9(c+d x) \sinh (c+d x)}{120 d}+\frac{b^3 \cosh ^{11}(c+d x) \sinh (c+d x)}{12 d}-\frac{\operatorname{Subst}\left (\int \frac{-3 \left (320 a^3-120 a b^2-281 b^3\right )+2880 \left (a^3+a b^2+2 b^3\right ) x^2-2880 (a-b) (a+b)^2 x^4+960 (a+b)^3 x^6}{\left (1-x^2\right )^4} \, dx,x,\tanh (c+d x)\right )}{960 d}\\ &=-\frac{b^2 (3000 a+3481 b) \cosh ^5(c+d x) \sinh (c+d x)}{1920 d}+\frac{3 b^2 (40 a+139 b) \cosh ^7(c+d x) \sinh (c+d x)}{320 d}-\frac{61 b^3 \cosh ^9(c+d x) \sinh (c+d x)}{120 d}+\frac{b^3 \cosh ^{11}(c+d x) \sinh (c+d x)}{12 d}+\frac{\operatorname{Subst}\left (\int \frac{15 \left (384 a^3+456 a b^2+359 b^3\right )-11520 (a-2 b) (a+b)^2 x^2+5760 (a+b)^3 x^4}{\left (1-x^2\right )^3} \, dx,x,\tanh (c+d x)\right )}{5760 d}\\ &=\frac{b \left (1152 a^2+3912 a b+2279 b^2\right ) \cosh ^3(c+d x) \sinh (c+d x)}{1536 d}-\frac{b^2 (3000 a+3481 b) \cosh ^5(c+d x) \sinh (c+d x)}{1920 d}+\frac{3 b^2 (40 a+139 b) \cosh ^7(c+d x) \sinh (c+d x)}{320 d}-\frac{61 b^3 \cosh ^9(c+d x) \sinh (c+d x)}{120 d}+\frac{b^3 \cosh ^{11}(c+d x) \sinh (c+d x)}{12 d}-\frac{\operatorname{Subst}\left (\int \frac{-45 \left (512 a^3-384 a^2 b-696 a b^2-281 b^3\right )+23040 (a+b)^3 x^2}{\left (1-x^2\right )^2} \, dx,x,\tanh (c+d x)\right )}{23040 d}\\ &=-\frac{b \left (1920 a^2+2232 a b+793 b^2\right ) \cosh (c+d x) \sinh (c+d x)}{1024 d}+\frac{b \left (1152 a^2+3912 a b+2279 b^2\right ) \cosh ^3(c+d x) \sinh (c+d x)}{1536 d}-\frac{b^2 (3000 a+3481 b) \cosh ^5(c+d x) \sinh (c+d x)}{1920 d}+\frac{3 b^2 (40 a+139 b) \cosh ^7(c+d x) \sinh (c+d x)}{320 d}-\frac{61 b^3 \cosh ^9(c+d x) \sinh (c+d x)}{120 d}+\frac{b^3 \cosh ^{11}(c+d x) \sinh (c+d x)}{12 d}+\frac{\left (1024 a^3+1152 a^2 b+840 a b^2+231 b^3\right ) \operatorname{Subst}\left (\int \frac{1}{1-x^2} \, dx,x,\tanh (c+d x)\right )}{1024 d}\\ &=\frac{\left (1024 a^3+1152 a^2 b+840 a b^2+231 b^3\right ) x}{1024}-\frac{b \left (1920 a^2+2232 a b+793 b^2\right ) \cosh (c+d x) \sinh (c+d x)}{1024 d}+\frac{b \left (1152 a^2+3912 a b+2279 b^2\right ) \cosh ^3(c+d x) \sinh (c+d x)}{1536 d}-\frac{b^2 (3000 a+3481 b) \cosh ^5(c+d x) \sinh (c+d x)}{1920 d}+\frac{3 b^2 (40 a+139 b) \cosh ^7(c+d x) \sinh (c+d x)}{320 d}-\frac{61 b^3 \cosh ^9(c+d x) \sinh (c+d x)}{120 d}+\frac{b^3 \cosh ^{11}(c+d x) \sinh (c+d x)}{12 d}\\ \end{align*}
Mathematica [A] time = 0.389919, size = 156, normalized size = 0.74 \[ \frac{120 \left (1152 a^2 b+1024 a^3+840 a b^2+231 b^3\right ) (c+d x)-720 b \left (128 a^2+112 a b+33 b^2\right ) \sinh (2 (c+d x))+45 b \left (256 a^2+448 a b+165 b^2\right ) \sinh (4 (c+d x))-40 b^2 (96 a+55 b) \sinh (6 (c+d x))+45 b^2 (8 a+11 b) \sinh (8 (c+d x))-72 b^3 \sinh (10 (c+d x))+5 b^3 \sinh (12 (c+d x))}{122880 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.056, size = 193, normalized size = 0.9 \begin{align*}{\frac{1}{d} \left ({b}^{3} \left ( \left ({\frac{ \left ( \sinh \left ( dx+c \right ) \right ) ^{11}}{12}}-{\frac{11\, \left ( \sinh \left ( dx+c \right ) \right ) ^{9}}{120}}+{\frac{33\, \left ( \sinh \left ( dx+c \right ) \right ) ^{7}}{320}}-{\frac{77\, \left ( \sinh \left ( dx+c \right ) \right ) ^{5}}{640}}+{\frac{77\, \left ( \sinh \left ( dx+c \right ) \right ) ^{3}}{512}}-{\frac{231\,\sinh \left ( dx+c \right ) }{1024}} \right ) \cosh \left ( dx+c \right ) +{\frac{231\,dx}{1024}}+{\frac{231\,c}{1024}} \right ) +3\,a{b}^{2} \left ( \left ( 1/8\, \left ( \sinh \left ( dx+c \right ) \right ) ^{7}-{\frac{7\, \left ( \sinh \left ( dx+c \right ) \right ) ^{5}}{48}}+{\frac{35\, \left ( \sinh \left ( dx+c \right ) \right ) ^{3}}{192}}-{\frac{35\,\sinh \left ( dx+c \right ) }{128}} \right ) \cosh \left ( dx+c \right ) +{\frac{35\,dx}{128}}+{\frac{35\,c}{128}} \right ) +3\,{a}^{2}b \left ( \left ( 1/4\, \left ( \sinh \left ( dx+c \right ) \right ) ^{3}-3/8\,\sinh \left ( dx+c \right ) \right ) \cosh \left ( dx+c \right ) +3/8\,dx+3/8\,c \right ) +{a}^{3} \left ( dx+c \right ) \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.1122, size = 464, normalized size = 2.2 \begin{align*} \frac{3}{64} \, a^{2} b{\left (24 \, x + \frac{e^{\left (4 \, d x + 4 \, c\right )}}{d} - \frac{8 \, e^{\left (2 \, d x + 2 \, c\right )}}{d} + \frac{8 \, e^{\left (-2 \, d x - 2 \, c\right )}}{d} - \frac{e^{\left (-4 \, d x - 4 \, c\right )}}{d}\right )} + a^{3} x - \frac{1}{245760} \, b^{3}{\left (\frac{{\left (72 \, e^{\left (-2 \, d x - 2 \, c\right )} - 495 \, e^{\left (-4 \, d x - 4 \, c\right )} + 2200 \, e^{\left (-6 \, d x - 6 \, c\right )} - 7425 \, e^{\left (-8 \, d x - 8 \, c\right )} + 23760 \, e^{\left (-10 \, d x - 10 \, c\right )} - 5\right )} e^{\left (12 \, d x + 12 \, c\right )}}{d} - \frac{55440 \,{\left (d x + c\right )}}{d} - \frac{23760 \, e^{\left (-2 \, d x - 2 \, c\right )} - 7425 \, e^{\left (-4 \, d x - 4 \, c\right )} + 2200 \, e^{\left (-6 \, d x - 6 \, c\right )} - 495 \, e^{\left (-8 \, d x - 8 \, c\right )} + 72 \, e^{\left (-10 \, d x - 10 \, c\right )} - 5 \, e^{\left (-12 \, d x - 12 \, c\right )}}{d}\right )} - \frac{1}{2048} \, a b^{2}{\left (\frac{{\left (32 \, e^{\left (-2 \, d x - 2 \, c\right )} - 168 \, e^{\left (-4 \, d x - 4 \, c\right )} + 672 \, e^{\left (-6 \, d x - 6 \, c\right )} - 3\right )} e^{\left (8 \, d x + 8 \, c\right )}}{d} - \frac{1680 \,{\left (d x + c\right )}}{d} - \frac{672 \, e^{\left (-2 \, d x - 2 \, c\right )} - 168 \, e^{\left (-4 \, d x - 4 \, c\right )} + 32 \, e^{\left (-6 \, d x - 6 \, c\right )} - 3 \, e^{\left (-8 \, d x - 8 \, c\right )}}{d}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.48421, size = 1200, normalized size = 5.69 \begin{align*} \frac{15 \, b^{3} \cosh \left (d x + c\right ) \sinh \left (d x + c\right )^{11} + 5 \,{\left (55 \, b^{3} \cosh \left (d x + c\right )^{3} - 36 \, b^{3} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{9} + 90 \,{\left (11 \, b^{3} \cosh \left (d x + c\right )^{5} - 24 \, b^{3} \cosh \left (d x + c\right )^{3} +{\left (8 \, a b^{2} + 11 \, b^{3}\right )} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{7} + 6 \,{\left (165 \, b^{3} \cosh \left (d x + c\right )^{7} - 756 \, b^{3} \cosh \left (d x + c\right )^{5} + 105 \,{\left (8 \, a b^{2} + 11 \, b^{3}\right )} \cosh \left (d x + c\right )^{3} - 10 \,{\left (96 \, a b^{2} + 55 \, b^{3}\right )} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{5} + 5 \,{\left (55 \, b^{3} \cosh \left (d x + c\right )^{9} - 432 \, b^{3} \cosh \left (d x + c\right )^{7} + 126 \,{\left (8 \, a b^{2} + 11 \, b^{3}\right )} \cosh \left (d x + c\right )^{5} - 40 \,{\left (96 \, a b^{2} + 55 \, b^{3}\right )} \cosh \left (d x + c\right )^{3} + 9 \,{\left (256 \, a^{2} b + 448 \, a b^{2} + 165 \, b^{3}\right )} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{3} + 30 \,{\left (1024 \, a^{3} + 1152 \, a^{2} b + 840 \, a b^{2} + 231 \, b^{3}\right )} d x + 15 \,{\left (b^{3} \cosh \left (d x + c\right )^{11} - 12 \, b^{3} \cosh \left (d x + c\right )^{9} + 6 \,{\left (8 \, a b^{2} + 11 \, b^{3}\right )} \cosh \left (d x + c\right )^{7} - 4 \,{\left (96 \, a b^{2} + 55 \, b^{3}\right )} \cosh \left (d x + c\right )^{5} + 3 \,{\left (256 \, a^{2} b + 448 \, a b^{2} + 165 \, b^{3}\right )} \cosh \left (d x + c\right )^{3} - 24 \,{\left (128 \, a^{2} b + 112 \, a b^{2} + 33 \, b^{3}\right )} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )}{30720 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 103.123, size = 666, normalized size = 3.16 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.14116, size = 601, normalized size = 2.85 \begin{align*} \frac{5 \, b^{3} e^{\left (12 \, d x + 12 \, c\right )} - 72 \, b^{3} e^{\left (10 \, d x + 10 \, c\right )} + 360 \, a b^{2} e^{\left (8 \, d x + 8 \, c\right )} + 495 \, b^{3} e^{\left (8 \, d x + 8 \, c\right )} - 3840 \, a b^{2} e^{\left (6 \, d x + 6 \, c\right )} - 2200 \, b^{3} e^{\left (6 \, d x + 6 \, c\right )} + 11520 \, a^{2} b e^{\left (4 \, d x + 4 \, c\right )} + 20160 \, a b^{2} e^{\left (4 \, d x + 4 \, c\right )} + 7425 \, b^{3} e^{\left (4 \, d x + 4 \, c\right )} - 92160 \, a^{2} b e^{\left (2 \, d x + 2 \, c\right )} - 80640 \, a b^{2} e^{\left (2 \, d x + 2 \, c\right )} - 23760 \, b^{3} e^{\left (2 \, d x + 2 \, c\right )} + 240 \,{\left (1024 \, a^{3} + 1152 \, a^{2} b + 840 \, a b^{2} + 231 \, b^{3}\right )}{\left (d x + c\right )} -{\left (301056 \, a^{3} e^{\left (12 \, d x + 12 \, c\right )} + 338688 \, a^{2} b e^{\left (12 \, d x + 12 \, c\right )} + 246960 \, a b^{2} e^{\left (12 \, d x + 12 \, c\right )} + 67914 \, b^{3} e^{\left (12 \, d x + 12 \, c\right )} - 92160 \, a^{2} b e^{\left (10 \, d x + 10 \, c\right )} - 80640 \, a b^{2} e^{\left (10 \, d x + 10 \, c\right )} - 23760 \, b^{3} e^{\left (10 \, d x + 10 \, c\right )} + 11520 \, a^{2} b e^{\left (8 \, d x + 8 \, c\right )} + 20160 \, a b^{2} e^{\left (8 \, d x + 8 \, c\right )} + 7425 \, b^{3} e^{\left (8 \, d x + 8 \, c\right )} - 3840 \, a b^{2} e^{\left (6 \, d x + 6 \, c\right )} - 2200 \, b^{3} e^{\left (6 \, d x + 6 \, c\right )} + 360 \, a b^{2} e^{\left (4 \, d x + 4 \, c\right )} + 495 \, b^{3} e^{\left (4 \, d x + 4 \, c\right )} - 72 \, b^{3} e^{\left (2 \, d x + 2 \, c\right )} + 5 \, b^{3}\right )} e^{\left (-12 \, d x - 12 \, c\right )}}{245760 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]